#include <stdio.h>

int _Z3addii (int,int);

int main(void)
{
	printf("%d\n", _Z3addii(123,456));
}

